\begin{titlepage}
\null\vskip-47pt
\hbox to \textwidth {\bf [For \holn{} \holnversion]  {\hfil \today}}

\setcounter{page}{1}                      % titlepage IS page 1

\vspace*{60mm}


{\fontfamily{ptm}\selectfont
\begin{center}
\scalebox{1.4}{\begin{tabular}{c} \Huge The HOL System \\[4pt] \huge REFERENCE \end{tabular}} \\
\end{center}}

\begin{center}
\includegraphics[width=3.8cm]{../Logo/lantern}
\end{center}

\vfill
\end{titlepage}

% To kick a blank page with no header
\thispagestyle{empty}
\cleardoublepage

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "reference"
%%% End:
